Easy Theory Turing Machine